From 4617fa75681be065b6071e86ae6aa49e31226234 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Sun, 22 Jun 2014 12:10:46 -0400
Subject: [PATCH] Docs: Reword deprecation notes

Mainly, make sure that deprecated properties are
documented as such. In this case: double-buffered.
---
 gtk/gtkwidget.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 7e56ecb493..b5dea46f6d 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1369,7 +1369,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    *
    * Since: 2.18
    *
-   * Deprecated: 3.14
+   * Deprecated: 3.14: Widgets are always double-buffered.
    */
   g_object_class_install_property (gobject_class,
                                    PROP_DOUBLE_BUFFERED,
@@ -9204,9 +9204,9 @@ gtk_widget_get_app_paintable (GtkWidget *widget)
  * @widget: a #GtkWidget
  * @double_buffered: %TRUE to double-buffer a widget
  *
- * Widgets are always double-buffered. This function does nothing.
+ * This function does nothing.
  *
- * Deprecated: 3.14
+ * Deprecated: 3.14: Widgets are always double-buffered.
  **/
 void
 gtk_widget_set_double_buffered (GtkWidget *widget,
-- 
2.30.2